Formal Techniques in Real-Time ... FTRTFT'98 (Conferenc... Paperback Published 02 Sep 1998 Save $2.66 RRP $62.44 $59.78 In Stock